141. Formal methods in databases and software engineering :
پدیدآورنده : V.S. Alagar ... (ed.) Publ. in collab. with the British Computer Society
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Database management -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses.
رده :
QA76
.
9
.
D3
V735
1993
142. Formal techniques for distributed systems :
پدیدآورنده : Holger Giese, Grigore Rosu (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Distributed operating systems (Computers) -- Congresses.,Formal methods (Computer science) -- Congresses.,software engineering.
143. Foundations of Software Science and Computation Structures
پدیدآورنده : \ Andrew Pitts (Ed.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : System analysis -- Congresses.,Computer software -- Congresses. ,Software engineering -- Congresses. ,تجزیه و تحلیل سیستم‌ها -- کنگره ها ,نرمافزار رای‍ان‍ه ای -- کنگره ها,نرمافزار -- مهندسی -- کنگره‌ها
رده :
QA76
.
751
.
F67
2015
E-Book
,
144. Foundations of computer software
پدیدآورنده : Radu Calinescu, Ethan Jackson (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
D47
M66
2011
145. Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
پدیدآورنده :
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
76
.
D47
.
M666
2011
146. Foundations of software science and computation structures :
پدیدآورنده : Christel Baier, Ugo Dal Lago (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
147. Foundations of software science and computation structures :
پدیدآورنده : Mikołaj Bojańczyk, Alex Simpson (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software, Congresses.,Software engineering, Congresses.,Computer software.,Software engineering.
رده :
QA76
.
751
.
F67
2019eb
148. Foundations of software technology and theoretical computer science, Fifth Conference, New Delhi, India, Dec. 1985: Proceedings
پدیدآورنده : edited by S.N. Maheshwari
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Software engineering,Congresses ، Computer software,، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
206
149. Foundations of software technology and theoretical computer science : 19th Conference, Chennai, India, December 1999 : proceedings
پدیدآورنده : C. Pandu Rangan, V. Raman, R. Ramanujam )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
1738
150. Foundations of software technology and theoretical computer science: 18th conference, Chennai, India, December 17-19, 1999: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Computer science
رده :
QA
76
.
758
.
C684
1998
151. Fourth International Conference on Software Engineering and Knowledge Engineering: : proceedings
پدیدآورنده : International Conference on Software Engineering and Knowledge Engineering )4th : 2991 : Capri,Italy(
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Software engineering- Congresses,، Expert systems )Computer science(- Congresses
152. Fundamental approaches to software engineering :
پدیدآورنده : Alessandra Russo, Andy Schürr (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Software engineering, Congresses.,Computer science.,Computers / Software Development & Engineering.,Software engineering.
رده :
QA76
.
758
.
F37
2018eb
153. Fundamental approaches to software engineering
پدیدآورنده : Juan de Lara, Andrea Zisman (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
رده :
QA76
.
758
.
F44
2012eb
154. Fundamentals of Computation Theory
پدیدآورنده : \ Adrian Kosowski , Igor Walukiewicz (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,کامپیوتر,a05,a05,Software engineering.,Computer science -- Congresses.,مهندسی ن‍رم اف‍زار ,علوم کامپیوتر -- کنگره‌ها
رده :
QA
76
.
76
.
F8
2015
E-Book
,
155. Generative programming and component engineering
پدیدآورنده : Robert Glück, Michael Lowry (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Component software, Congresses.,Generative programming (Computer science), Congresses.,Software engineering, Congresses.
156. Generative programming and component engineering : ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002 : proceedings
پدیدآورنده : Don Batory, Charles Consel, Walid Taha )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Generic programming )Computer science(,Congresses ، Component software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2487
157. Generative programming and component engineering : Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004 : proceedings
پدیدآورنده : Gabor Karsai, Eelco Visser )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Generative programming )Computer science(,Congresses ، Component software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3286
158. Generative programming and component engineering : second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings
پدیدآورنده : Frank Pfenning, Yannis Smaragdakis )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Generic programming )Computer science(,Congresses ، Component software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2830
159. Generative programming and component engineering : 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29-October 1, 2005 : proceedings
پدیدآورنده : Robert Gluck, Michael Lowry )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Generative programming )Computer science(,Congresses ، Component software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3676
160. Human-Computer Interaction Interact 2015
پدیدآورنده : \ [edited by] Julio Abascal...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Artificial intelligence,هوش مصنوعی,a04,a04,Human-computer interaction -- Congresses.,Software engineering.,انسان و کامپیوتر -- کنگره‌ها ,مهندسی ن‍رم اف‍زار
رده :
QA
76
.
9
.
H85
2015
E-Book
,
